Nuprl Definition : ma-frame-compatible
0,22
postcript
pdf
ma-frame-compatible(
A
;
B
) == ma-frame-compat(
A
;
B
) & ma-frame-compat(
B
;
A
)
latex
Definitions
P
&
Q
,
ma-frame-compat(
A
;
B
)
FDL editor aliases
ma-frame-compatible
origin